Nuprl Definition : sends
11,40
postcript
pdf
sends(
dE
;
dL
;
pred?
;
info
;
val
;
p
;
e
;
l
)
== map((
r
.rmsg(
info
;
val
;
r
)); receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
))
latex
Definitions
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
,
rmsg(
info
;
val
;
e
)
,
map(
f
;
as
)
FDL editor aliases
sends
origin
r.rmsg(info; val; r)); receives(dE; dL; pred?; info; p; e; l)) r.rmsg(info; val; r)); receives(dE; dL; pred?; info; p; e; l))